TSTP Solution File: DAT148^1 by SInE---0.4